iPack: in-Network Packet Mixing for High Throughput Wireless Mesh Networks Richard Alimi∗ , Li (Erran) Li† , Ramachandran Ramjee‡ , Harish Viswanathan† and Yang Richard Yang∗ † Bell Labs, Alcatel-Lucent, Mur

Source URL: www-net.cs.yale.edu

Yale University Department of Computer Science Mosaic: Policy Homomorphic Network Extension L. Erran Li M. F. Nowlan C. Tian Y. R. Yang M. Zhang Bell Labs HUST Microsoft Research Yale YALEU/DCS/TR-1427

Source URL: www.cs.yale.edu

Doing Software Development: Occasions for Automation and Formalisation Rebecca E. Grinter Bell Labs, Lucent Technologies, United States of America Abstract. The use of workflow technology has

Source URL: www.ecscw.org

mango: Low-Cost, Scalable Delivery of Rich Content On Mobiles Ankur Jain, Sharad Jaiswal, Anirban Majumder, Naidu K V M, Girija Narlikar, Nisheeth Shrivastava, Viswanath Poosala Bell Labs India, Alcatel-Lucent Bangalore,

Source URL: conferences.sigcomm.org

Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages

Source URL: www.cl.cam.ac.uk

GGobi Deborah F. Swayne Duncan Temple Lang AT&T Labs – Research Bell Laboratories Florham Park, NJLucent Technologies

Source URL: ggobi.org

Seventh IEEE International Conference on Data Mining Scalable Collaborative Filtering with Jointly Derived Neighborhood Interpolation Weights Robert M. Bell and Yehuda Koren AT&T Labs – Research

Source URL: public.research.att.com

Extended Abstract: Superposition Coding for Wireless Mesh Networks Li (Erran) Li Richard Alimi† Ramachandran Ramjee§ Jingpu Shi‡ Yanjun Sun‡ Harish Viswanathan Yang Richard Yang† Bell Labs, Alcatel-Lucent

Source URL: www-net.cs.yale.edu

• Radio resource management
• Scheduling algorithms
• Data
• Network performance
• Data transmission
• Network coding
• Throughput
• MIMO
• SINR
• Information
• Information theory
• Telecommunications engineering

Spinning Into Control Bell Labs’ verification tool: coming to a compiler near you? errors. In one case, the programmers said, “We’ll fix it, but it’s so unlikely to happen that we’re really wasting our time.”

Source URL: spinroot.com

• Compiler construction
• SPIN model checker
• Software bug
• Gerard J. Holzmann
• Holzmann
• Programming tool
• Embedded system
• Compiler
• Software
• Formal methods
• Computing

RFIC 2015 INDUSTRY SHOWCASE PRESS KIT Bell Labs: A 16-Element W-Band Phased Array Transceiver Chipset Bell Labs, the industrial research arm of Alcatel-Lucent, will present the world’s first package-less, fully integra

Source URL: rfic-ieee.org

• Oscillators
• Electronic test equipment
• Radio electronics
• Electronic design
• Integrated circuits
• BiCMOS
• Software-defined radio
• Phase-locked loop
• Field-programmable gate array
• Electronic engineering
• Electronics
• Electromagnetism